Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22 }

B grade: { 1, 3 }

C grade: { 21 }

F grade: { }

2.1.3 Maple

A grade: { 2, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 19, 20, 22 }

B grade: { 1, 3, 10, 12, 18, 21 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 2, 4, 5, 6, 7, 9, 11, 13, 14, 16, 18, 19, 20, 22 }

B grade: { 1, 3, 8 }

C grade: { }

F grade: { 10, 12, 15, 17, 21 }

2.1.5 FriCAS

A grade: { 1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 19, 22 }

B grade: { 3, 7, 16, 18, 20 }

C grade: { }

F grade: { 21 }

2.1.6 Sympy

A grade: { 22 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 }

2.1.7 Giac

A grade: { 2, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 16, 17, 19, 20 }

B grade: { 1, 3, 10, 12, 18 }

C grade: { }

F grade: { 21, 22 }

2.1.8 Mupad

A grade: { 22 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17 }

C grade: { }

F grade: { 18, 19, 20, 21 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 105 103 115 50 0 65 46
normalized size 1 1.00 3.18 3.12 3.48 1.52 0.00 1.97 1.39
time (sec) N/A 0.081 0.133 0.069 0.297 0.793 0.000 0.707 0.458




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 17 18 15 15 0 15 13
normalized size 1 1.00 0.89 0.95 0.79 0.79 0.00 0.79 0.68
time (sec) N/A 0.060 0.022 0.051 0.661 0.736 0.000 0.364 0.335




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 39 51 61 33 0 45 30
normalized size 1 1.00 2.60 3.40 4.07 2.20 0.00 3.00 2.00
time (sec) N/A 0.050 0.070 0.063 0.935 0.844 0.000 0.425 0.352




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 12 19 18 20 0 19 14
normalized size 1 1.00 0.67 1.06 1.00 1.11 0.00 1.06 0.78
time (sec) N/A 0.036 0.017 0.048 0.783 0.571 0.000 0.390 0.404




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 42 33 31 37 0 34 21
normalized size 1 1.00 1.27 1.00 0.94 1.12 0.00 1.03 0.64
time (sec) N/A 0.055 0.040 0.057 0.300 0.597 0.000 0.474 0.336




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 25 29 42 24 0 37 35
normalized size 1 1.00 0.83 0.97 1.40 0.80 0.00 1.23 1.17
time (sec) N/A 0.080 0.051 0.046 0.295 0.786 0.000 0.472 0.382




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 60 55 56 83 0 50 40
normalized size 1 1.00 1.30 1.20 1.22 1.80 0.00 1.09 0.87
time (sec) N/A 0.096 0.156 0.055 0.469 1.269 0.000 0.487 0.408




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 41 45 70 53 0 59 45
normalized size 1 1.00 1.02 1.12 1.75 1.32 0.00 1.48 1.12
time (sec) N/A 0.081 0.082 0.055 1.718 2.405 0.000 0.368 0.455




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 49 28 27 43 0 28 20
normalized size 1 1.00 1.48 0.85 0.82 1.30 0.00 0.85 0.61
time (sec) N/A 0.036 0.072 0.052 0.574 1.708 0.000 0.566 0.366




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 190 338 0 332 0 226 1666
normalized size 1 1.00 1.68 2.99 0.00 2.94 0.00 2.00 14.74
time (sec) N/A 0.418 1.134 0.058 0.000 1.214 0.000 0.517 1.097




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 46 65 56 66 0 66 115
normalized size 1 1.00 0.81 1.14 0.98 1.16 0.00 1.16 2.02
time (sec) N/A 0.084 0.096 0.053 0.504 0.928 0.000 0.506 0.603




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 85 129 0 203 0 111 77
normalized size 1 1.00 1.39 2.11 0.00 3.33 0.00 1.82 1.26
time (sec) N/A 0.224 0.177 0.050 0.000 0.948 0.000 0.484 0.548




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 21 20 22 0 22 48
normalized size 1 1.00 1.00 1.05 1.00 1.10 0.00 1.10 2.40
time (sec) N/A 0.037 0.009 0.039 0.343 0.649 0.000 0.420 0.514




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 50 54 48 53 0 54 47
normalized size 1 1.00 0.93 1.00 0.89 0.98 0.00 1.00 0.87
time (sec) N/A 0.058 0.068 0.048 0.657 0.926 0.000 0.434 0.503




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 67 78 0 230 0 91 86
normalized size 1 1.00 0.87 1.01 0.00 2.99 0.00 1.18 1.12
time (sec) N/A 0.102 0.326 0.056 0.000 0.847 0.000 0.489 0.537




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 100 114 116 185 0 138 116
normalized size 1 1.00 1.08 1.23 1.25 1.99 0.00 1.48 1.25
time (sec) N/A 0.183 0.565 0.064 0.873 0.595 0.000 0.460 0.584




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 112 153 0 456 0 210 183
normalized size 1 1.00 0.81 1.11 0.00 3.30 0.00 1.52 1.33
time (sec) N/A 0.206 0.649 0.059 0.000 0.911 0.000 0.802 0.626




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A B F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 44 81 63 77 0 68 -1
normalized size 1 1.00 1.00 1.84 1.43 1.75 0.00 1.55 -0.02
time (sec) N/A 0.049 0.072 0.493 2.536 0.864 0.000 0.692 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 30 46 109 0 34 -1
normalized size 1 1.00 1.00 0.81 1.24 2.95 0.00 0.92 -0.03
time (sec) N/A 0.057 0.020 0.035 1.673 1.338 0.000 0.379 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 24 19 35 98 0 22 -1
normalized size 1 1.00 1.00 0.79 1.46 4.08 0.00 0.92 -0.04
time (sec) N/A 0.058 0.013 0.039 1.177 0.705 0.000 0.404 0.000




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 204 204 363 546 0 0 0 0 -1
normalized size 1 1.00 1.78 2.68 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.583 2.781 0.398 0.000 0.000 0.000 0.000 0.000




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A F(-2) A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 49 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.105 2.469 1.331 0.000 3.215 0.000 0.000 0.000










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [17] had the largest ratio of [.6154]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 5 5 1.00 13 0.385







2 A 5 4 1.00 13 0.308







3 A 4 4 1.00 13 0.308







4 A 4 4 1.00 11 0.364







5 A 5 5 1.00 11 0.454







6 A 5 4 1.00 13 0.308







7 A 6 5 1.00 13 0.385







8 A 6 5 1.00 13 0.385







9 A 3 2 1.00 13 0.154







10 A 6 6 1.00 13 0.462







11 A 3 2 1.00 13 0.154







12 A 6 6 1.00 13 0.462







13 A 4 4 1.00 11 0.364







14 A 3 2 1.00 11 0.182







15 A 7 6 1.00 13 0.462







16 A 4 3 1.00 13 0.231







17 A 12 8 1.00 13 0.615







18 A 5 4 1.00 13 0.308







19 A 4 4 1.00 13 0.308







20 A 3 3 1.00 13 0.231







21 A 9 7 1.00 25 0.280







22 A 0 0 0.00 0 0.000